module Module

((): a -> -> c)
